<html><body>Detects local symbols that are not used
</body></html>